home *** CD-ROM | disk | FTP | other *** search
/ ASME's Mechanical Engine…ing Toolkit 1997 December / ASME's Mechanical Engineering Toolkit 1997 December.iso / ai / prlg195b.lzh / READ.ME < prev    next >
Text File  |  1990-02-09  |  11KB  |  397 lines
  1.  
  2.  
  3.  
  4.         Updated  12/10/87
  5.  
  6.         The distribution has grown so much that we have had to put it  on 
  7.         two disks.
  8.  
  9.         Disk 1 contains the archive file "PDPROLOG.LZH", which contains:
  10.              
  11.              1. The PDPROLOG.EXE executable.
  12.              2. The configuration program PRCONF.EXE.
  13.              3. The documentation file PROLOG.DOC
  14.              4. A simple editor.
  15.              5. The  program  LHARC.EXE, which is used  to  unpack  the 
  16.                 archives on disk 1 and disk 2.
  17.  
  18.         Disk  1 may contain ".ARC" files, which are compressed  data,  in 
  19.         which case you should follow the instructions below to unpack the 
  20.         them.  Or, it may contain ".EXE" and ".DOC" files, in which  case 
  21.         disregard  the  instructions  on "unpacking" disk  1.  PD  PROLOG 
  22.         requires  no installation, other than organizing the  files  into 
  23.         working directories or disks, and possibly configuring PD  PROLOG 
  24.         for memory.
  25.  
  26.  
  27.         Disk 2 contains:
  28.  
  29.              The  sample  and library files, contained  multiple  archive 
  30.              files, divided by subject.
  31.  
  32.         Unpacking  PD PROLOG and installing it on your computer  consists 
  33.         of  using the program LHARC.EXE  to unpack the various  archives, 
  34.         and  putting  their  contents  on  appropriate  floppy  discs  or 
  35.         subdirectories  in your computer's hard drive. We have  attempted 
  36.         to make these instructions self contained, but that is not really 
  37.         possible.  IF  YOU DO NOT UNDERSTAND SUBDIRECTORIES  OR  THE  DOS 
  38.         "PATH" COMMAND, FIND A KNOWLEDGABLE PERSON TO HELP YOU.
  39.  
  40.         In  what follows, the symbol <CR> means that you are to type  the 
  41.         "ENTER" key. 
  42.  
  43.  
  44.  
  45.  
  46.  
  47.  
  48.  
  49.  
  50.  
  51.  
  52.  
  53.  
  54.  
  55.  
  56.  
  57.  
  58.  
  59.  
  60.  
  61.                                         1
  62.  
  63.  
  64.  
  65.  
  66.  
  67.  
  68.  
  69.  
  70.                            Installation on a Hard Disk
  71.  
  72.         If  you  have  a  hard  disk,  you may wish to  extract  all  the 
  73.         archives  at  once. To unpack disk 1, proceed as  follows.  
  74.  
  75.              1)  Create a directory on the hard disk, which you may  wish 
  76.              to  call "prolog" and copy pdprolog.lzh and lharc.exe  into 
  77.              it. 
  78.  
  79.              2) Run "lharc x *.*<CR>"
  80.  
  81.              3)  Type  "del  pdprolog.arc" (You have  extracted  all  the 
  82.              archives from prolog.arc, and therefore no longer need  this 
  83.              file.
  84.  
  85.         To unpack Disk 2:
  86.  
  87.              1)   Create  a  directory  which  you  may  wish  to   title 
  88.              "\prolog\samples" on the hard disk and copy prolog.lzh  from 
  89.              disk 2 into it.
  90.  
  91.              2) Do a directory of disk "b:" 
  92.  
  93.              3)  You  will see that the directory contains  many  archive 
  94.              files.  Each of these archive files in turn contains  prolog 
  95.              source  code  and/or  additional  archive  files.  Create  a 
  96.              subdirectory on your hard disk for each. For example, create 
  97.              a directory entitled "\prolog\samples\cad", for the  archive 
  98.              containing computer aided design programs.
  99.  
  100.              4) Copy each archive file into its own directory, and  clean 
  101.              up the directory "\prolog\samples" by typing "erase *.*".
  102.  
  103.              6) Enter each archive and run "lharc x *.*<CR>". Then  "erase 
  104.              *.lzh",  to remove each archive from the hard disk once  you 
  105.              have unpacked its contents.
  106.  
  107.  
  108.  
  109.  
  110.  
  111.  
  112.  
  113.  
  114.  
  115.  
  116.  
  117.  
  118.  
  119.  
  120.  
  121.  
  122.  
  123.  
  124.  
  125.  
  126.  
  127.                                         2
  128.  
  129.  
  130.  
  131.  
  132.  
  133.  
  134.  
  135.  
  136.                       Installation on a Floppy Based System
  137.  
  138.         If  you  have a floppy based system with only one  floppy,  don't 
  139.         call me. Find a system with at least two floppies.
  140.  
  141.         If  you  have a floppy based system with at least  two  floppies, 
  142.         follow this procedure:
  143.  
  144.              1)  Make  a backup copy of this diskette.  Then  unpack  the 
  145.              archive  file  "prolog.lzh",  using the  "lharc.exe"  program 
  146.              described below.
  147.  
  148.              2)  Format a diskette and put "command.com" on it.  Then  do 
  149.              the following:
  150.  
  151.                   a) Put the formatted disk in "a:", and PD disk 1 in 
  152.                       "b:". 
  153.  
  154.                   b) Log onto disk "a:". 
  155.  
  156.                   c) Type: "lharc x b:pdprolog<CR> *.*" This will extract 
  157.                      the executable file "pdprolog.exe, the configuration 
  158.                      program  "prconf.exe",  and the  documentation  file 
  159.                      "prolog.doc".
  160.                   
  161.                   d)  Put disk "a:" aside. It will become  your  "working 
  162.                      diskette" in a later step.
  163.  
  164.              3) Print out the documentation file "prolog.doc"
  165.  
  166.              4) Since you printed out "prolog.doc", you may erase it from 
  167.              the diskette to save room. Modify your working disk so  that 
  168.              it contains the following:
  169.  
  170.                   a) command.com
  171.                   b) pdprolog.exe
  172.                   c) prconf.exe, which is used to configure  the  memory 
  173.                      usage of PD PROLOG (see the file PROLOG.DOC)
  174.                   d)   a   small   editor,   which  you   should   rename 
  175.                   "prologed.com"  if you wish to execute it  from  within 
  176.                   the type PD. You may use any editor of your choice, but 
  177.                      the smaller the better.
  178.  
  179.              
  180.              5) Format two diskettes and put "command.com" on each.  Then 
  181.              do the following: 
  182.  
  183.                   a) Put  the  formatted disk in "a:" and PD  disk  2  in 
  184.                      "b:".   
  185.                   b) Log onto disk "a:". Type "copy b:lharc.exe a:<CR>".
  186.  
  187.                   c) Remove PD disk 2 from "b:" and inser PD disk 1.
  188.                   
  189.                   d) Type: "lharc x b:prolog <name of the archive you wish 
  190.                      to  unpack>"  This will cause the  contents  of  the 
  191.  
  192.  
  193.                                         3
  194.  
  195.  
  196.  
  197.  
  198.  
  199.  
  200.  
  201.  
  202.                      selected archive to be put on disk "a:".
  203.                   e) In  some cases, the archive contains  archive  files    
  204.                      which must be unpacked by a similar procedure.
  205.  
  206.                   f) Disk "a:" now contains pieces of Prolog source code, 
  207.                      which  are files ending with the  extension  ".pro". 
  208.                      Normally you will have the working disk in "a:", and 
  209.                      Prolog  source  code  in "b:". Use  the  DOS  "path" 
  210.                      command to set the search path to "a:". 
  211.  
  212.  
  213.  
  214.  
  215.  
  216.  
  217.  
  218.  
  219.  
  220.  
  221.  
  222.  
  223.  
  224.  
  225.  
  226.  
  227.  
  228.  
  229.  
  230.  
  231.  
  232.  
  233.  
  234.  
  235.  
  236.  
  237.  
  238.  
  239.  
  240.  
  241.  
  242.  
  243.  
  244.  
  245.  
  246.  
  247.  
  248.  
  249.  
  250.  
  251.  
  252.  
  253.  
  254.  
  255.  
  256.  
  257.  
  258.  
  259.                                         4
  260.  
  261.  
  262.  
  263.  
  264.  
  265.  
  266.  
  267.  
  268.                               Contents of the Disks
  269.              
  270.  
  271.         PD Disk 1 has  the  following  major objects:
  272.  
  273.         LHARC>EXE -
  274.              This   is  the  program  which  extracts  files  from  files 
  275.              archives.  A listing of commands can be obtained by invoking 
  276.              it  as  "LHARC<CR>".  To  extract  all  the  files  from  a 
  277.              particular archive, type "LHARC <archive name, without  the 
  278.              "LZH"> where <CR> means "ENTER", or carriage return. 
  279.  
  280.  
  281.         PDPROLOG.LZH - 
  282.              a)  PDPROLOG.EXE.  The  public  domain,  proprietary  PROLOG 
  283.              language  interpreter.  You may give PDPROLOG to anyone.  If 
  284.              you purchased a Prolog system from us, another disk contains 
  285.              a copyrighted A.D.A. Prolog system. 
  286.  
  287.              b)  PROLOG.DOC.   You  should  immediately  print  out  this 
  288.              documentation, since it contains the implementation specific 
  289.              information.
  290.  
  291.              c) PRCONF.EXE. This program must be run before an editor can 
  292.              be executed from inside PROLOG.  Read PROLOG.DOC for info on 
  293.              how to do it.
  294.  
  295.              d) PROLOGED.COM.
  296.              A  simple screen editor for invocation  within  Prolog.  You 
  297.              must configure PDPROLOG for memory before use. If the editor 
  298.              does not run,  you haven't configured PD PROLOG properly. If 
  299.              the editor runs but does not work properly,  please  contact 
  300.              the author,  Li Su, at (612)-866-2871.
  301.                   Any  small editor can be installed in place of PROLOGED 
  302.              simply by renaming it to have this name.
  303.  
  304.         PD PROLOG Disk 2 has the following archives:
  305.  
  306.  
  307.         CHART.LZH
  308.              Contains  a  chart  parser  written by  Peter  Ross  of  the 
  309.              University of Edinburgh.  Modified slightly to bring it into 
  310.              conformance with C & M Prolog.
  311.  
  312.         EXPERT.LZH -
  313.              These   are   expert   systems  for  specific   domains   of 
  314.              information. Medical, rockblasting, fault diagnosis, etc.
  315.  
  316.         GAMES.LZH -
  317.              Some simple board games and adventure games in Prolog.  Also 
  318.              a chess King-Rook-King endgame program.
  319.  
  320.         GRAMMAR.LZH -
  321.              A  very nice interactive ATN (augmented  transition  network 
  322.              parser). 
  323.  
  324.  
  325.                                         5
  326.  
  327.  
  328.  
  329.  
  330.  
  331.  
  332.  
  333.  
  334.  
  335.         LOGIC.LZH -
  336.              Contains Skolemization program to convert Predicate Calculus 
  337.              statements  into Prolog statements.  Covers material exposed 
  338.              in  Clocksin and Mellish.  Also contains a Wang algorithm to 
  339.              prove correctness of logical formulae.
  340.  
  341.         MATH.LZH - 
  342.  
  343.              Contains   permutation  generators  and   symbolic   algebra 
  344.              programs.
  345.  
  346.         PIE.LZH -
  347.              This   archive  contains Simon  Blackwell's   public  domain  
  348.              expert  system shell program.  The documentation  is  not 
  349.              complete yet.
  350.  
  351.         PUZZLES.LZH -
  352.              The encoding of puzzles in Prolog demonstrates techniques of 
  353.              translating word problems into unambiguous logic.
  354.  
  355.         SAMPLES.LZH -
  356.              This   archive  contains a variety  of   Prolog  programming  
  357.              examples   which  illustrate some of  the  points  of Prolog   
  358.              programming.    Note   that  the  book    mentioned    above 
  359.              unfortunately  contains  numerous mistakes in the  examples.  
  360.              You should refer to these files for the corrections.
  361.  
  362.         UTILITY.LZH -
  363.              Some  reasonably  useful examples of  relational  databases, 
  364.              etc.
  365.  
  366.                                           Bob
  367.  
  368.                                      Support
  369.  
  370.              This is not a game disk.  It is extremely  educational,  and 
  371.         requires  the same kind of effort you would put into a university 
  372.         computer science course.
  373.  
  374.         You may call me for assistance provided that:
  375.  
  376.              a)  you have purchased the book "Programming in Prolog",  by 
  377.                  Clocksin  and  Mellish,  or  are  familiar  with  DEC-10 
  378.                  Prolog.
  379.  
  380.              b)  you have printed out prolog.doc and read it thorougly.
  381.  
  382.  
  383.  
  384.  
  385.  
  386.  
  387.  
  388.  
  389.  
  390.  
  391.                                         6
  392.  
  393.  
  394.  
  395.  
  396.  
  397.